automatedreasoning相关论文
Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra
...
研制了一种用于中学教育的新型能系统－以知识处理为核心的ＩＣＡＩ系统，该系统比普通ＩＣＡＩ系统有更多的智能性，它可以利用化学知识进行推是和问题解......
